Turing reduction

Results: 43



#Item
31Computability / Applied mathematics / Mathematics / Computer science / Computability theory / Algorithmically random sequence / Turing reduction

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 RANDOMNESS, LOWNESS AND DEGREES GEORGE BARMPALIAS, ANDREW E. M. LEWIS, AND MARIYA SOSKOVA

Add to Reading List

Source URL: www.fmi.uni-sofia.bg

Language: English - Date: 2010-09-03 11:30:51
32Turing reduction / Albert Muchnik / Turing degree / Decision problem / SL / Recursively enumerable set / Reduction / Theoretical computer science / Computability theory / Applied mathematics

Weak Degrees of ω Π0

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:20
33Computer science / Turing degree / Representation theory / Reduction / Computability theory / Theoretical computer science / Mathematics

History Logic and Medvedev Degrees

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:21
34Complexity classes / Computability theory / Turing machine / Alan Turing / Tautology / NP / FO / Reduction / PP / Theoretical computer science / Computational complexity theory / Applied mathematics

The Complexity of Theorem-Proving Procedures Stephen A. Cook University of Toronto

Add to Reading List

Source URL: cs.stanford.edu

Language: English - Date: 2005-08-23 19:36:17
35Computational learning theory / Probably approximately correct learning / Decision tree model / Computability theory / Tuple relational calculus / Turing reduction / Theoretical computer science / Applied mathematics / Computational complexity theory

Learning with Errors in Answers to Membership Queries Laurence Bisht

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2005-01-19 07:16:35
36Mathematical logic / Computational complexity theory / Functions and mappings / Polynomial / Turing reduction / Function / Oracle machine / Theoretical computer science / Mathematics / Computability theory

Computational Complexity of Higher Type Functions Stephen A. Cook * University of Toronto, Toronto, Ontario M5S 1A4, Canada

Add to Reading List

Source URL: www.mathunion.org

Language: English - Date: 2012-04-18 10:48:30
37Computer science / Church–Turing thesis / Computable function / Turing reduction / Primitive recursive function / Recursively enumerable set / Effective method / Computability / Turing machine / Computability theory / Theoretical computer science / Theory of computation

PDF Document

Add to Reading List

Source URL: www.people.cs.uchicago.edu

Language: English - Date: 2008-06-20 18:07:53
38Applied mathematics / Low / High / Computational complexity theory / Turing reduction / Mathematical logic / Turing degree / Alan Turing / Complexity / Computability theory / Theoretical computer science / Mathematics

PDF Document

Add to Reading List

Source URL: nzmathsoc.org.nz

Language: English - Date: 2010-01-08 22:49:44
39Complexity classes / Computational complexity theory / Alan Turing / Models of computation / Reduction / Turing reduction / Oracle machine / NP / P versus NP problem / Theoretical computer science / Applied mathematics / Computability theory

PDF Document

Add to Reading List

Source URL: www.csupomona.edu

Language: English - Date: 2004-01-12 11:58:29
40Computer science / Theory of computation / Computability / Halting problem / Reduction / Turing machine / Church–Turing thesis / NP / Computable function / Theoretical computer science / Computability theory / Applied mathematics

PDF Document

Add to Reading List

Source URL: www.cs.toronto.edu

- Date: 2013-09-07 12:44:52
UPDATE